Holldobler, Steffen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] KI 2015: Advances in Artificial Intelligence Volume 9324 || Packing Irregular-Shaped Objects for 3D Printing

Hölldobler, Steffen, Krötzsch, Markus, Peñaloza, Rafael, Rudolph, Sebastian

Year:

2015

Language:

english

File:

PDF, 10.25 MB

english, 2015

2

Logic programs and connectionist networks

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 339 KB

english, 2004

3

Cognitive Reasoning: A Personal View

Furbach, Ulrich, Hölldobler, Steffen, Ragni, Marco, Schon, Claudia, Stolzenburg, Frieder

Journal:

KI - Künstliche Intelligenz

Year:

2019

Language:

english

File:

PDF, 808 KB

english, 2019

4

[Lecture Notes in Computer Science] KI 2015: Advances in Artificial Intelligence Volume 9324 ||

Hölldobler, Steffen, Krötzsch, Markus, Peñaloza, Rafael, Rudolph, Sebastian

Year:

2015

Language:

english

File:

PDF, 23.28 MB

english, 2015

5

On the artificial intelligence paradox

Hölldobler, Steffen

Journal:

Behavioral and Brain Sciences

Year:

1993

Language:

english

File:

PDF, 9.58 MB

english, 1993

6

Journal of Applied Logic Special Volume on Neural-Symbolic Systems

Artur d'Avila Garcez, Dov M Gabbay, Steffen Hölldobler, John G Taylor

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 50 KB

english, 2004

7

Approximating the Semantics of Logic Programs by Recurrent Neural Networks

Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr

Journal:

Applied Intelligence

Year:

1999

Language:

english

File:

PDF, 132 KB

english, 1999

8

A new deductive approach to planning

Steffen Hölldobler, Josef Schneeberger

Journal:

New Generation Computing

Year:

1990

Language:

english

File:

PDF, 852 KB

english, 1990

9

Cognitive Reasoning: A Personal View

Furbach, Ulrich, Hölldobler, Steffen, Ragni, Marco, Schon, Claudia, Stolzenburg, Frieder

Journal:

KI - Künstliche Intelligenz

Year:

2019

File:

PDF, 808 KB

2019

10

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 5293 ||

Hölldobler, Steffen, Lutz, Carsten, Wansing, Heinrich

Year:

2008

Language:

english

File:

PDF, 5.83 MB

english, 2008

11

[ACM Press the 1996 ACM symposium - Philadelphia, Pennsylvania, United States (1996.02.17-1996.02.19)] Proceedings of the 1996 ACM symposium on Applied Computing - SAC '96 - Fuzzy conceptual knowledge processing

Herrmann, Christoph S., Hölldobler, Steffen, Strohmaier, Antje

Year:

1996

Language:

english

File:

PDF, 472 KB

english, 1996

12

Horn equational theories and paramodulation

Ulrich Furbach, Steffen Hölldobler, Joachim Schreiber

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 1.50 MB

english, 1989

13

[IEEE 2015 IEEE Symposium Series on Computational Intelligence (SSCI) - Cape Town, South Africa (2015.12.7-2015.12.10)] 2015 IEEE Symposium Series on Computational Intelligence - A Computational Logic Approach to Human Spatial Reasoning

Dietz, Emmanuelle-Anna, Holldobler, Steffen, Hops, Raphael

Year:

2015

Language:

english

File:

PDF, 233 KB

english, 2015

14

[Lecture Notes in Computer Science] KI 2015: Advances in Artificial Intelligence Volume 9324 || Towards an Expert System for the Field of Neurology Based on Fuzzy Logic

Hölldobler, Steffen, Krötzsch, Markus, Peñaloza, Rafael, Rudolph, Sebastian

Year:

2015

Language:

english

File:

PDF, 402 KB

english, 2015

15

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Preliminaries

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 313 KB

english, 1989

16

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Equational Logic Programming

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 1.78 MB

english, 1989

17

Contextual Abductive Reasoning with Side-Effects

PEREIRA, LUÍS MONIZ, DIETZ, EMMANUELLE-ANNA, HÖLLDOBLER, STEFFEN

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 140 KB

english, 2014

18

Conditional equational theories and complete sets of transformations

Steffen Hölldobler

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 3.33 MB

english, 1990

19

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Universal Unification

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 461 KB

english, 1989

20

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Conclusion

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 1.06 MB

english, 1989

21

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 361 KB

english, 1989

22

Modeling the suppression task under weak completion and well-founded semantics

Dietz, Emmanuelle-Anna, Hölldobler, Steffen, Wernhard, Christoph

Journal:

Journal of Applied Non-Classical Logics

Year:

2014

Language:

english

File:

PDF, 671 KB

english, 2014

23

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || SLDE-Resolution

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 425 KB

english, 1989

24

Computing change and specificity with equational logic programs

Steffen Hölldobler, Michael Thielscher

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1995

Language:

english

File:

PDF, 1.98 MB

english, 1995

25

The undecidability of the unification and matching problem for canonical theories

Stephan Heilbrunner, Steffen Hölldobler

Journal:

Acta Informatica

Year:

1987

Language:

english

File:

PDF, 662 KB

english, 1987

26

Connectionist model generation: A first-order approach

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler

Journal:

Year:

2008

Language:

english

File:

PDF, 771 KB

english, 2008

27

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Paramodulation

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 3.97 MB

english, 1989

28

[Lecture Notes in Computer Science] KI 2015: Advances in Artificial Intelligence Volume 9324 || Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation

Hölldobler, Steffen, Krötzsch, Markus, Peñaloza, Rafael, Rudolph, Sebastian

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

29

[Lecture Notes in Computer Science] Foundations of Equational Logic Programming Volume 353 || Introduction

Hölldobler, Steffen

Year:

1989

Language:

english

File:

PDF, 833 KB

english, 1989

30

Combining Logic Programming and Equation Solving

HÖLLDOBLER, STEFFEN

Journal:

Journal of Logic and Computation

Year:

1991

Language:

english

File:

PDF, 1016 KB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски